Merge pull request #1312 from davidcunado-arm/dc/update_docs
authordavidcunado-arm <[email protected]>
Thu, 15 Mar 2018 20:41:16 +0000 (20:41 +0000)
committerGitHub <[email protected]>
Thu, 15 Mar 2018 20:41:16 +0000 (20:41 +0000)
Docs: Update various for v1.5 release


Trivial merge